Max Planck Institute for Software Systems - PDFSEARCH.IO - Document Search Engine

Max Planck Institute for Software Systems
Results: 61

#	Item
21	Type-Directed Automatic Incrementalization Yan Chen Joshua Dunfield Umut A. Acar Max Planck Institute for Software Systems June 12, 2012 Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2012-09-07 17:01:51 Graph Graph theory SYmbolic LinK
22	I-Pic: A Platform for Privacy-Compliant Image Capture Paarijaat Aditya, Rijurekha Sen and Peter Druschel Max Planck Institute for Software Systems (MPI-SWS) Seong Joon Oh, Rodrigo Benenson, Mario Fritz and Bernt Schiele Add to Reading List Source URL: scalable.mpi-inf.mpg.de Language: English - Date: 2016-05-19 15:03:10 Learning Prevention Safety Internet privacy Security Privacy Facial recognition system Bystander Surveillance
23	Mtac: A Monad for Typed Tactic Programming in Coq Beta Ziliani Max Planck Institute for Software Systems (MPI-SWS) joint work with Derek Dreyer (MPI-SWS), Add to Reading List Source URL: plv.mpi-sws.org Language: English - Date: 2013-10-09 17:33:06
24	Owicki-Gries Reasoning for Weak Memory Models Ori Lahav and Viktor Vafeiadis Max Planck Institute for Software Systems (MPI-SWS) Abstract. We show that even in the absence of auxiliary variables, the wellknown Owicki-Gri Add to Reading List Source URL: plv.mpi-sws.org Language: English - Date: 2015-05-11 03:20:21
25	Owicki-Gries Reasoning for Weak Memory Models Ori Lahav and Viktor Vafeiadis Max Planck Institute for Software Systems (MPI-SWS) Abstract. We show that even in the absence of auxiliary variables, the wellknown Owicki-Gri Add to Reading List Source URL: plv.mpi-sws.org Language: English - Date: 2015-05-11 03:20:39
26	Higher-Order Functional Reactive Programming without Spacetime Leaks Neelakantan R. Krishnaswami Max Planck Institute for Software Systems (MPI-SWS) Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2013-07-18 05:12:55
27	I-Pic: A Platform for Privacy-Compliant Image Capture Paarijaat Aditya, Rijurekha Sen and Peter Druschel Max Planck Institute for Software Systems (MPI-SWS) Seong Joon Oh, Rodrigo Benenson, Mario Fritz and Bernt Schiele Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2016-05-22 07:21:42
28	Adding Equations to System F Types Neelakantan R. Krishnaswami1 and Nick Benton2 1 Max Planck Institute for Software Systems <> 2 Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2012-01-06 15:06:46
29	Towards accountable information systems Peter Druschel, Max Planck Institute for Software Systems (MPI-SWS) Joint work with Eslam Elnikety, Deepak Garg, Aastha Mehta, Anjo Vahldiek In this extended abstract, we sketch ou Add to Reading List Source URL: dig.csail.mit.edu Language: English - Date: 2014-01-21 12:51:11
30	Temporal Text Ranking and Automatic Dating of Texts Vlad Niculae1 , Marcos Zampieri2 , Liviu P. Dinu3 , Alina Maria Ciobanu3 Max Planck Institute for Software Systems, Germany1 Saarland University, Germany2 Center for Co Add to Reading List Source URL: vene.ro Language: English - Date: 2016-03-04 13:28:29

UPDATE